机译:基于FPGA的工程安全特征系统开发的软件验证过程和方法
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:验证安全关键软件:静态和动态方法。
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:用simplex方法验证软件安全
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷